Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces

نویسندگان

  • Takao Inoué
  • Adam Naumowicz
  • Noboru Endou
  • Yasunari Shidama
چکیده

The notation and terminology used in this paper have been introduced in the following papers: [7], [15], [2], [3], [24], [4], [5], [1], [11], [16], [6], [9], [12], [17], [18], [10], [8], [23], [14], [21], [13], and [22]. For simplicity, we use the following convention: n, m denote non empty elements of N, i, j denote elements of N, f denotes a partial function from 〈Em, ‖ · ‖〉 to 〈En, ‖ · ‖〉, g denotes a partial function from Rm to Rn, h denotes a partial function from Rm to R, x denotes a point of 〈Em, ‖ · ‖〉, y denotes an element of Rm, and X denotes a set. We now state a number of propositions:

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces

In this paper i, n, m are elements of N. The following propositions are true: (1) Let f be a set. Then f is a partial function from Rm to Rn if and only if f is a partial function from 〈Em, ‖ · ‖〉 to 〈En, ‖ · ‖〉. (2) Let n, m be non empty elements of N, f be a partial function from Rm to Rn, g be a partial function from 〈Em, ‖·‖〉 to 〈En, ‖·‖〉, x be an element of Rm, and y be a point of 〈Em, ‖ ·...

متن کامل

Differentiable Functions on Normed Linear Spaces1

In this article, we formalize differentiability of functions on normed linear spaces. Partial derivative, mean value theorem for vector-valued functions, continuous differentiability, etc. are formalized. As it is well known, there is no exact analog of the mean value theorem for vector-valued functions. However a certain type of generalization of the mean value theorem for vectorvalued functio...

متن کامل

Compact composition operators on real Banach spaces of complex-valued bounded Lipschitz functions

We characterize compact composition operators on real Banach spaces of complex-valued bounded Lipschitz functions on metric spaces, not necessarily compact, with Lipschitz involutions and determine their spectra.

متن کامل

A Unified Approach to Mathematical Optimization and Lagrange Multiplier Theory for Scientists and Engineers

It should be no surprise that the differentiation of functionals (real valued functions) defined on abstract spaces plays a fundamental role in continuous optimization theory and applications. Differential tools were the major part of the early calculus of variations and actually it was their use that motivated the terminology calculus of variations. The tools that we develop that allow us to w...

متن کامل

Discretization and Affine Approximation in High Dimensions

Lower estimates are obtained for the macroscopic scale of affine approximability of vector-valued Lipschitz functions on finite dimensional normed spaces, completing the work of Bates, Johnson, Lindenstrass, Preiss and Schechtman. This yields a new approach to Bourgain’s discretization theorem for superreflexive targets.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Formalized Mathematics

دوره 19  شماره 

صفحات  -

تاریخ انتشار 2011